<html><body bgcolor=white onload='parent.fileFinishedLoading();'>
<link rel=stylesheet type="text/css" href="styles.css"><pre>
struct <img name="if0" src=pixel.gif width=10 height = 10> <a name="f0"></a>printf_arguments {
   int i ;
   double d ;
   char <img name="in3" src=pixel.gif width=10 height = 10> <a name="n3" class="other" href="javascript: sn(3)">*<sub>3</sub></a>s <img name="in4" src=pixel.gif width=10 height = 10> <a name="n4" class="safe" href="javascript: sn(4)">&<sub>4</sub></a>;
   long long ll ;
};
struct <img name="if1" src=pixel.gif width=10 height = 10> <a name="f1"></a>str {
   int  *  * ptrptr ;
   float f ;
};
union <img name="if2" src=pixel.gif width=10 height = 10> <a name="f2"></a>bar {
   int anint ;
   <a href="javascript: sf(0, 'if1')">struct str </a> structure ;
   int  * ptrint ;
};
struct <img name="if3" src=pixel.gif width=10 height = 10> <a name="f3"></a>host {
   short tag ;
   <a href="javascript: sf(0, 'if2')">union bar </a> data ;
};
<img name="if4" src=pixel.gif width=10 height = 10> <a name="f4"></a>extern void __ccuredInit(void) ;
<img name="if5" src=pixel.gif width=10 height = 10> <a name="f5"></a>extern void abort_deepcopy(char  * errmsg  ) ;
<img name="if6" src=pixel.gif width=10 height = 10> <a name="f6"></a><a href="javascript: sf(0, 'if3')">struct host </a> g ;
<img name="if7" src=pixel.gif width=10 height = 10> <a name="f7"></a>int x ;
<img name="if8" src=pixel.gif width=10 height = 10> <a name="f8"></a>static void /*1*/CHECK_INITUNIONFIELD(int selected  ,
                                      void <img name="in24" src=pixel.gif width=10 height = 10> <a name="n24" class="safe" href="javascript: sn(24)">*<sub>24</sub></a>unionp  ,
                                      unsigned int size  ) <img name="in25" src=pixel.gif width=10 height = 10> <a name="n25" class="safe" href="javascript: sn(25)">&<sub>25</sub></a>;
int main(void) ;
<img name="if9" src=pixel.gif width=10 height = 10> <a name="f9"></a>int main(void) 
{ int  * px ;

  {
  __ccuredAlwaysStopOnError = 0;
  __ccuredUseStrings = 1;
  __ccuredLogNonPointers = 0;
  <a href="javascript: sf(0, 'if4')">__ccuredInit</a> ();
  <a href="javascript: sf(0, 'if8')">/*1*/CHECK_INITUNIONFIELD</a> (<a href="javascript: sf(0, 'if6')">g</a> .tag == (short)12,
                            & <a href="javascript: sf(0, 'if6')">g</a> .data,
                            sizeof(<a href="javascript: sf(0, 'if6')">g</a> .data));
  <a href="javascript: sf(0, 'if6')">g</a> .tag = (short)12;
  CHECK_UNIONTAG(<a href="javascript: sf(0, 'if6')">g</a> .tag >= 10 && <a href="javascript: sf(0, 'if6')">g</a> .tag <= 12);
  <a href="javascript: sf(0, 'if6')">g</a> .data.ptrint = & <a href="javascript: sf(0, 'if7')">x</a> ;
  CHECK_UNIONTAG(<a href="javascript: sf(0, 'if6')">g</a> .tag >= 10 && <a href="javascript: sf(0, 'if6')">g</a> .tag <= 12);
  px = <a href="javascript: sf(0, 'if6')">g</a> .data.ptrint;
  return (0);
}
}
</pre>
<script language="javascript">
// Trampoline for sn
var sn = parent.sn;
var sf = parent.sf;
var sff = parent.sff;
if(parent.fileFinishedLoading == undefined) { alert('The code is not yet loaded (in source file)');}
</script></html>
